Design by contract - PDFSEARCH.IO - Document Search Engine

Design by contract
Results: 233

#	Item
71	Quotes from∗ Object-Oriented Software Construction Bertrand Meyer Prentice-Hall, 1988 Preface, p. xiv Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2005-03-16 04:00:39 Computer programming Object-oriented design Object Eiffel Class Abstraction Polymorphism Inheritance Design by contract Software engineering Object-oriented programming Computing
72	Document for completion and publication by the Contracting Authority. PROCUREMENT NOTICE EXECUTIVE DESIGN AND COMPLETION OF WORKS FOR REHABILITATION OF WATER AND SANITATION SYSTEMS OF KIRANDICH BASIN AND CAPACITY BUILDI Add to Reading List Source URL: www.rvwsbkenya.org Language: English - Date: 2014-12-01 06:48:09 Auctioneering Call for bids Tender Construction E-procurement Contract Government procurement in the European Union Business Procurement Electronic commerce
73	Processing TOVS Polar Pathnder Data Using the Distributed Batch Controller James Dua, Kenneth Salemb , Axel Schweigerc, and Miron Livnyd Department of Computer Science, University of Maryland, College Park, MDUS Add to Reading List Source URL: psc.apl.washington.edu Language: English - Date: 2010-12-15 19:00:37 Batch processing Operating system Design by contract Software design DBc
74	International Opal Jewellery Design Awards Association Advertiser Terms & Conditions Version[removed]What is effect of this Agreement 1.1 This Agreement, applies to the publication iojdaa.com.au by the International Opa Add to Reading List Source URL: www.iojdaa.com.au Language: English - Date: 2007-07-04 01:18:56 Private law Warranty English contract law South Africa Legal documents South African contract law Law Contract law South African law
75	ICT~Office Terms and Conditions Module 2 Development of software The ICT~Office Terms and Conditions are filed with the Chamber of Commerce for the Central Netherlands under number[removed] Add to Reading List Source URL: www.nedap.com Language: English - Date: 2013-08-05 06:54:42 Science Software development Software engineering Design by contract Software testing Acceptance testing Software development process
76	Terms & Conditions 1 The Contract 1.1 Agentur Pty Ltd often is referred to as the “Organiser”. 1.2 Reference to “Event” refers to an event or expo promoted by the Organiser. “Exhibitor” refers to a party who Add to Reading List Source URL: s3-ap-southeast-2.amazonaws.com Language: English - Date: 2014-06-19 22:25:09 Marketing Sponsor Business Communication Advertising Communication design Graphic design
77	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
78	Elehost Web Hosting Contract Agreement Preamble: 1. Elehost Web Design Inc. is formally contracted by The Customer to host the Customer’s web site on the Internet at a rate specified on sign up in Canadian funds plus a Add to Reading List Source URL: www.elephanthost.com Language: English - Date: 2006-01-06 10:59:38 Web hosting service Internet fraud Domain registration Domain name registrar Credit card Internet hosting service Domain name Usenet Domain name system Internet Computing
79	A Contracts for First-Class Classes T. STEPHEN STRICKLAND, CHRISTOS DIMOULAS, ASUMU TAKIKAWA, and MATTHIAS FELLEISEN, Northeastern University, Boston, MA[removed]First-class classes enable programmers to abstract over pat Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Object-oriented programming Racket Design by contract Stack Eiffel Java Subtype polymorphism Constructor Matthias Felleisen Software engineering Computing Computer programming
80	PDF Document Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Contract law Functional languages Compiling tools Parser generators Compiler construction Racket Lexical analysis Lex Design by contract Software engineering Computing Software

UPDATE